1. ......................

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Congresses ، Proof theory,Bibliography ، Schutte, Kurt

رده :
QA
3
.
L28
no
.
500

2. <A> Framework for Priority Arguments

المؤلف:

المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Proof theory,Priority (Philosophy),Logic, Symbolic and mathematical,منطق ریاضی

رده :
QA9
,.
54
.
F7
,
L47
2010

3. A bridge to advanced mathematics

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Proof theory,، Arithmetic-- Foundations

رده :
QA
9
.
S44

4. A framework for priority arguments

المؤلف:

المکتبة: (طهران)

موضوع: ، Proof theory,، Priority )Philosophy(,، Logic, Symbolic and mathematical

رده :
QA
9
.
A1L44
Vol
.
34

5. A middle way to God

المؤلف:

المکتبة: مکتبه الادیان و المذاهب التخصصیه (قم)

موضوع: Proof ، God,، Theism,، Other minds )Theory of knowledge(

رده :
BT
102
.
H336
2003

6. A middle way to God

المؤلف:

المکتبة: كتابخانه وزارت امور خارجه (طهران)

موضوع: God- Proof,Other minds (Theory of knowledge)

7. Adapting proofs-as-programs

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local

رده :
E-BOOK

8. Adapting proofs-as-programs

المؤلف:

المکتبة: (طهران)

موضوع: Curry-Howard isomorphism., Proof theory., Logic, Symbolic and mathematical., Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)

رده :
QA
9
.
54
.
P64
2005

9. Adapting proofs-as-programs

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)

رده :
QA
,
9
.
54
,.
P64
,
2005

10. Adapting proofs-as-programs

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science

رده :
E-BOOK

11. Advances in Proof Theory

المؤلف:

المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Proof theory -- Congresses.

رده :
E-Book
,

12. Advances in proof theory

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Proof theory

رده :
QA
9
.
54
.
A39

13. An accompaniment to higher mathematics

المؤلف:

المکتبة: (طهران)

موضوع: ، Proof theory

رده :
QA
9
.
54
.
E96

14. An accompaniment to higher mathematics

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Proof theory

رده :
QA
9
.
54
.
E96
1996

15. An introduction to mathematical reasoning :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Proof theory

رده :
QA9
.
54
.
E23
1997

16. An introduction to mathematical reasoning: lectures on numbers, sets, and functions

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Proof theory

رده :
QA
9
.
54
.
E23
1997

17. An introduction to mathematical reasoning: numbers, sets and functions

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Proof theory

رده :
QA
9
.
54
.
E23
1997

18. An introduction to mathematical reasoning : numbers, sets and functions

المؤلف:

المکتبة: (طهران)

موضوع: ، Proof theory

رده :
QA
9
.
54
.
E22

19. An introduction to the language of mathematics /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Proof theory.,Mathematical logic.,Mathematics-- Logic.,Proof theory.

رده :
QA9
.
54

20. Analysis :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Mathematical analysis.,Proof theory.,Mathematical analysis.,Proof theory.

رده :
QA300
.
L427
2006